Formal methods for industrial applications - specifying and programming the steam boiler control
- Författare
- (Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.).)
- Språk
- Engelska

Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | cop. 1996 | Tyskland, Berlin | 509 sidor. | |
Springer Berlin Heidelberg | 1996 | Utgivningsland okänt / Ej specificerat |